航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

利用微波探测仪(ATMS)对在轨微波辐射计观测精度的模拟分析

微波辐射计的观测精度及其对数值模式同化应用的影响评估是微波辐射计观测指标设计的重要参考。基于微波探测仪(ATMS)资料,利用三维变分同化系统模拟分析在轨微波辐射计的观测精度指标。针对ATMS观测误差特征,在其观测基础上增加均值为零、标准偏差分别为0.5,1.0,1.5,2.0K的正态随机扰动,进而获得不同精度的观测模拟值序列,然后利用Harris和Kelley的辐射资料偏差订正经验方法订正不同精度的观测资料。偏差订正后,利用三维变分同化模式(WRFDA)直接同化ATMS资料。通过2016年6月6h预报场的同化试验,评估了不同观测精度的模拟资料对数值模式的同化影响。     

对策论在雷达电子战效能评估中的应用

介绍了对策论的基本内容和分析方法,包括对策论所涉及问题的要素和分类.指出了对策论在雷达电子战效能评估中应用的可行性和必要性.分析了电子对抗博弈双方采取不同对抗技术措施的得益矩阵,并在此得益矩阵的基础上,重点研究了对策论在电子对抗效能评估过程中的应用.     

光栅信号时钟脉冲细分的误差分析

简介时钟脉冲细分技术的原理，着重分析其细分误差因素，给出了计算实际最大细分数的理论公式，并论述了光栅最大运动速度、时钟脉冲分频数和实际最大细分数之间的关系，对光栅信号时钟脉冲细分系统的参数设计具有指导意义。     

High speed driving of a gain-switched laser diode with anexponential transmission line

With the increase of information capacity of an airborne system, high speed driving of laser diodes have been of interest. In order to match the low resistive LD, proposed in this paper is an exponential transmission line, which is used as preshaping to compensate the pattern effect in gain switching of laser diodes. It also will be used to overcome the effect of parasitic elements in high speed driving to improve the rise and trail edges of the output waveform. An accurate circuit model of the exponential line for the PSPICE program has been developed and simulations are conveniently carried out by employing PSPICE     

调制域测频原理及工程实现

介绍了调制域这一新概念，着重分析了调制域测频方法，给出了所实现的调制域测频系统框图，展示了调制域测试的关键技术、内插技术和无间隔计数技术，介绍了游标内插法，独立提出了斜波内插法和孪生链。     

滑阀稳态液动力的计算和分析

以液氧/煤油补燃循环火箭发动机中流量调节器中滑阀为例,介绍了滑阀稳态液动力的一种计算方法,分析了不同结构参数下稳态液动力的变化规律,得出了滑阀的稳态液动力与滑阀位移、液流出口处的流道形状以及刃边厚度关系的一些初步结论。     

淡谈空管设备维护人才的培养

长期以来，民航空管设备维护人才队伍始终受工作性质和环境的制约，存在不专、不精的问题，往往是大家业务水平相差不大，对每一类设备，或者对一类设备中的各个部分的了解程度大都在一个层面上，一般的问题大家都能解决，而疑难杂症却鲜有人能解决，这就给空管设备的安全运行带来极大的隐患。作为一个参加工作五年的空管雷达设备机务员，笔者在这里以做机务员的经历谈谈自己对空管设备维护人才培养的想法。     

基于多相正交序列移位序列的CDMA通信系统

介绍多相正交序列的构造方法,对多相正交序列的自相关和互相关特性进行分析。提出采用多相正交序 列的移位序列作为扩频序列的通信方式,并给出接收端序列同步的实现方法。这种方式能解决低相数多相正交序列互 相关特性不理想,而高相数多相正交序列难以搜索的困难。     

中燃速HTPB推进剂燃速公差控制

研究了复合推进剂燃速公差控制的原理和方法，评估了固体组分粒度偏差和组分称量偏差地中燃速丁羟推进剂燃速公差的影响，结果表明，粒度偏差是导致燃速波动的主要原因，称量偏差的影响可忽略不计。